Sponsored Visits

Sponsored by

Tandem mass spectrometry is a widely used method for protein and peptide sequences identification. Since the mass spectra contain up to 80% of noise and many other inaccuracies, there still exists a need for more accurate algorithms for mass spectra interpretation. The sizes of protein databases grow rapidly and the methods for indexing these databases in order to interpret mass spectra become ...

Sponsored by:

State-sponsored social movements

A state-sponsored social movement refers to a popular movement initiated and endorsed by the central leadership of the state and organized by the government’s apparatuses. Collective action events are peopled by citizens in their capacity as nonstate actors, but the main source of claims, leadership, and organizational resources is from within the state itself, and state actors, in their offici...

Sponsored by Informatics Society

The Tohoku Region Pacific Coast Earthquake and its Tsunami caused serious damage to the pacific coast in northeastern Japan including Iwate prefecture. We suppose it is important to present the serious situation in the disaster areas to gain public understanding and support. In this paper, we propose Reconstruction Watcher which presents visually reconstruction progress to gain public understan...

Meeting sponsored by the

algebraic logic (AAL) deals with the algebraic study of logics in a way that views bothterms "algebraic" and "logic" under a general perspective. It studies different abstract processes ofassigning a class of algebras to a given logic, and the general properties of these processes, theirlimitations and their different variants or enhancements, instead of focusing on the resulting cl...